Optlang: An algebraic modeling language for mathematical optimization

JuMP: A Modeling Language for Mathematical Optimization

JuMP is an open-source modeling language that allows users to express a wide range of optimization problems (linear, mixed-integer, quadratic, conic-quadratic, semidefinite, and nonlinear) in a high-level, algebraic syntax. JuMP takes advantage of advanced features of the Julia programming language to offer unique functionality while achieving performance on par with commercial modeling tools f...

Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming

Expressing Special Structures in an Algebraic Modeling Language for Mathematical Programming

A knowledge of the presence of certain special structures can be advantageous in both the formulation and solution of linear programming problems. Thus it is desirable that linear programming software offer the option of specifying such structures explicitly. As a step in this direction, we describe extensions to an algebraic modeling language that encompass piecewise-linear, network and relate...

Helios: a Mathematical Modeling Language for Newton Helios: a Mathematical Modeling Language for Newton

Numerous applications in science and engineering requires nonlinear constraint solving and optimization over real numbers. Helios is a mathematical modeling language designed to express these applications in a form close to traditional statements displayed in scientiic papers and textbooks. Helios is compiled into Newton, a constraint logic programming language over nonlinear constraints which ...

Conveying Problem Structure from an Algebraic Modeling Language to Optimization Algorithms

Optimization algorithms can exploit problem structures of various kinds, such as sparsity of derivatives, complementarity conditions, block structure, stochasticity, priorities for discrete variables, and information about piecewiselinear terms. Moreover, some algorithms deduce additional structural information that may help the modeler. We review and discuss some ways of conveying structure, w...